void main(void) {
	unsigned char *test1 = "test1";
}
